Knihy od autora Doron A. Peled

Zobrazeno 1 – 8 z 8 výsledků

1. 

   Runtime Verification

   Saddek Bensalem, Doron A. Peled | Springer, Berlin, 2009

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
2. 

   Verification, Model Checking, and Abstract Interpretation

   Francesco Logozzo, Doron A. Peled, Leonore D. Zuck | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
3. 

   Model Checking and Artificial Intelligence

   Doron A. Peled, Michael Wooldridge | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1352 Kč

   Koupit
4. 

   Software Reliability Methods

   Doron A. Peled, Edmund M. Clarke | Springer-Verlag New York Inc., 2001

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   1352 Kč

   Koupit
5. 

   Automated Technology for Verification and Analysis

   Doron A. Peled, Yih-Kuen Tsay | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
6. 

   Formal Techniques for Networked and Distributed Systems - FORTE 2002

   Doron A. Peled, Moshe Y. Vardi | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
7. 

   Software Reliability Methods

   Doron A. Peled, E.M. Clarke | Springer-Verlag New York Inc., 2011

   
   

   Skladem u dodavatele - Odesíláme za 8-11 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1155 Kč

   Koupit
8. 

   Computer Aided Verification

   Rajeev Alur, Doron A. Peled | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit

Poskytujeme slevy pro studenty, učitele a držitele ISIC. Zjistěte více